English translation for "temporal logic language"

时序逻辑语言

Related Translations:

temporal:  adj.1.暂时的，一时的，转瞬间的(opp. eternal)。2.此世的，现世的；世俗的(opp. spiritual)。3.时的，时间的 (opp. spatial) 【语法】表示时间的，时态的。n.1.一时的事物；俗事。 世事。2.世俗的权力〔多指教会的财产和收入〕。短语和例子a temporal death 假死。 temporal aims 世俗的目标。 tem

temporal technology:  时空学技术

temporal control:  时序控制

temporal suture:  颞缝

temporal headache:  颞头痛

temporal radiometer:  瞬间辐射计瞬时辐射计

temporal canal:  颞管

temporal genu:  颞叶膝部

temporal distribution:  时间分布, 时间序列时间分配时间上的分布瞬间分布暂时注分布

temporal facilitation:  时间助长

Example Sentences:

1.

We use temporal logic language xyz / e as our component description language for components may have different abstract hierarchy and different granularity . xyz / e is able to describe the dynamic semantics and static operations of component , and to formally describe system in different hierarchy 由于构件可能具有不同的抽象层次和粒度，我们采用了时序逻辑语言xyz e作为构件描述语言，这种语言能够描述构件的静态语义和动态执行，并且能在不同抽象层次上对系统进行形式化描述。

Similar Words：

"temporal lobe tumor" English translation, "temporal lobe vertigo" English translation, "temporal lobectomy behavior syndrome" English translation, "temporal lobectomy behaviour syndrome" English translation, "temporal logic" English translation, "temporal logic specification" English translation, "temporal makeup" English translation, "temporal mapping" English translation, "temporal margin" English translation, "temporal margin of parietal bone" English translation